| emsoft | participants

Scott D. Stoller

EMSOFT 2025: 25th International Conference on Embedded Software

Cumulative-Time Signal Temporal Logic

Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott Smolka, Scott D. Stoller, and Shan Lin